Search Results for 'flop rec'

flop rec published presentations and documents on DocSlides.

Type-based termination analysis

by trish-goza

with disjunctive invariants. Dimitrios Vytiniotis...